Introduction to Combinators and Lambda-Calculus